"Oded Maler" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Computer Aided Verification, 21 conf., CAV 2009

Автор: Ahmed Bouajjani, Автор: Oded Maler

Категория: CsLn_

Размер книги: 13.29 Mb

Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings

Автор: Oded Maler

Размер книги: 3.80 Mb

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Автор: Freek Wiedijk, Автор: Oded Maler, Автор: Amir Pnueli

Размер книги: 9.00 Mb